A diff-Based Merging Operator
نویسندگان
چکیده
Merging operators aim at defining the beliefs (resp. the goal) of a group of agents from a profile of bases, gathering the beliefs (resp. the goals) of each member of the group. In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile. Closeness is, in this context, measured as a number resulting from the aggregation of the distances to each base of the profile. In this work we define a new kind of propositional merging operators, close to such distance-based merging operators, but relying on a set-theoretic definition of closeness, already at work in several revision/update operators from the literature. We study a specific merging operator of this family, obtained by considering set-product as the aggregation function.
منابع مشابه
A Fault-Tolerant Three-Way Merge for XML and HTML
Three-way merging is a technique that is used to reintegrate changes to a document when multiple independently modified copies have been made. Tools for three-way merge of ASCII text files exist in the form of the ubiquitous diff and patch tools, but these are of limited applicability when parts of the documents have been rearranged. Our fault-tolerant three-way merge for XML and HTML was desig...
متن کاملUsing the DIFF Command for Natural Language Processing
Diff is a software program that detects differences between two data sets and is useful in natural language processing. This paper shows several examples of the application of diff. They include the detection of differences between two different datasets, extraction of rewriting rules, merging of two different datasets, and the optimal matching of two different data sets. Since diff comes with ...
متن کاملStructure-aware version control A generic approach using Agda
Modern version control systems are largely based on the UNIX diff3 program for merging line-based edits on a given file. Unfortunately, this bias towards line-based edits does not work well for all file formats, which may lead to unnecessary conflicts. This paper describes a data type generic approach to version control that exploits a file’s structure to create more precise diff and merge algo...
متن کاملParallel Composition of Assumption-commitment Speciications a Unifying Approach for Shared Variable and Distributed Message Passing Concurrency
We unify the parallel composition rule of assumption-commitment speciications for respectively state-based and message-based concurrent processes. Without providing language-dependent deenitions, we rst assume that the model of a process can be given as a set of`sequences' (e.g., traces, state sequences). Then we assume the existence of a merging operator that captures the compositionality of t...
متن کاملVersal Deformations of a Dirac Type Differential Operator
If we are given a smooth differential operator in the variable x ∈ R/2πZ, its normal form, as is well known, is the simplest form obtainable by means of the Diff(S)-group action on the space of all such operators. A versal deformation of this operator is a normal form for some parametric infinitesimal family including the operator. Our study is devoted to analysis of versal deformations of a Di...
متن کامل